Refinement of time

Refinement of Time

We introduce a mathematical model of the timed behaviour of components with streams as input and output using a hierarchy of timing concepts. We distinguish non-timed streams, discrete streams with discrete or with continuous time, and dense streams with continuous time. We introduce a notion of a timed system component and formulate requirements for the time flow. We show how to compose timed ...

Dwell Time Refinement

The abstraction of a hybrid system by eliminating one or more of its continuous variables is in general too coarse. In this situation, dwell time refinement may be useful. The idea is to impose explicit constraints on the time that may resp. must be spent (or “dwelled”) between successive mode switches. We show how the required constraints can be inferred automatically (with acceptable cost). T...

Real-Time Systems Refinement . . .

Real-Time Point Cloud Refinement

Splatting-based rendering techniques are currently the best choice for efficient high quality rendering of pointbased geometries. However, such techniques are not suitable for large magnification, especially when the object is under-sampled. This paper improves the rendering quality of pure splatting techniques using a fast dynamic up-sampling algorithm for point-based geometry. Our algorithm i...

Refinement and Verification of Real-Time Systems

This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and functional requirements of the upper level specification. These mechanisms are discussed in the context of ASTRAL, which is a formal specification language for real-time systems. Refinement is accomplished by mapping a...